Pointer analysis

Results: 174



#Item
1211 CHALLENGES IN POINTER ANALYSIS OF JAVASCRIPT Ben Livshits

1 CHALLENGES IN POINTER ANALYSIS OF JAVASCRIPT Ben Livshits

Add to Reading List

Source URL: research.microsoft.com

- Date: 2013-07-09 14:46:02
    122TOOLS & SOFTWARE Especially in embedded systems, software is engineering too By Fergus Bolger, PRQA

    TOOLS & SOFTWARE Especially in embedded systems, software is engineering too By Fergus Bolger, PRQA

    Add to Reading List

    Source URL: www.programmingresearch.com

    Language: English - Date: 2013-08-14 04:34:38
    123HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

    HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

    Add to Reading List

    Source URL: bitblaze.cs.berkeley.edu

    Language: English - Date: 2013-06-27 15:30:02
    124Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Add to Reading List

    Source URL: www.parasoft.com

    Language: English - Date: 2014-11-26 18:18:24
    125Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Add to Reading List

    Source URL: www.parasoft.com

    Language: English - Date: 2014-12-01 04:04:05
    126NAME uno − static analysis tool for ANSI-C programs SYNOPSIS uno [-D[removed]U[removed]I[removed]CPP=...] [-a] [-g x] [-h] [-l] [-m x] [-n] [-p x] [-s] [-t] [-u] [-V] [-v] [-w] [-x f] *.c

    NAME uno − static analysis tool for ANSI-C programs SYNOPSIS uno [-D[removed]U[removed]I[removed]CPP=...] [-a] [-g x] [-h] [-l] [-m x] [-n] [-p x] [-s] [-t] [-u] [-V] [-v] [-w] [-x f] *.c

    Add to Reading List

    Source URL: www.spinroot.com

    Language: English - Date: 2008-06-30 15:34:28
    127PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of

    PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of

    Add to Reading List

    Source URL: www.grammatech.com

    Language: English - Date: 2014-11-26 00:46:21
    1288 JDT JDT embraces embraces Type Type Annotations Annotations

    8 JDT JDT embraces embraces Type Type Annotations Annotations

    Add to Reading List

    Source URL: www.eclipsecon.org

    Language: English - Date: 2014-03-22 10:44:54
    129Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity

    Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity

    Add to Reading List

    Source URL: events.linuxfoundation.org

    Language: English - Date: 2013-10-16 09:43:58
    130UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II

    UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2005-01-11 11:34:03